Понятия со словосочетанием «формальная логика»
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Связанные понятия
Умозре́ние (лат. speculatio) — 1) деятельность мышления, вращающаяся в сфере предметов или событий, не данных на опыте, но лишь предполагаемых; 2) мышление, содержание которого — только мыслимое или сверхчувственное.
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Стиль научного мышления — в философии науки выражает мировоззренческий и методологический подход к пониманию мира и объяснению эмпирических фактов. Включает в себя применяемые на данном историческом этапе развития науки методы эмпирического и теоретического исследования, определённую гносеологическую или социальную установку в познании, философские идеи и принципы, психологию учёных. Понятие "стиль научного мышления" было введено в науку М. Борном и Л. Флеком.
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.
Ка́жимость (видимость) — философская (логическая) категория, означающая превратное определение истинного бытия, основанное на чувственно-воспринимаемом, внешнем явлении предмета познания.
Индетермини́зм (от лат. in — не и лат. determinare — определять) — философское воззрение и методологическая позиция, отрицающие либо объективность причинной связи (онтологический индетерминизм), либо познавательную значимость причинного объяснения в науке (методологический индетерминизм). В философии науки: концепция, согласно которой фундаментальные законы природы имеют вероятностный характер, а случай является не только равноправной по отношению к необходимости сущностью природы, но и более фундаментальной...
Трансцендентальная логика (нем. Transzendentale Logik) — учение Канта о чистых правилах и понятиях рассудка, которые априори определяют наш опыт. Вторая часть Критики чистого разума. Трансцендентальная логика подразделяется на трансцендентальную аналитику и трансцендентальную диалектику.
Догмати́зм (др.-греч. δόγμα «мнение, учение; решение») — способ мышления, оперирующий догмами (считающимися неизменными вечными положениями, не подвергаемыми критике) и опирающийся на них.
Априо́ри (лат. a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (лат. a posteriori — от последующего...
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Трансцендентальная диалектика (нем. Transzendentale Dialektik) - раздел трансцендентальной логики, критикующий притязания рассудка на сверхфизическое применение, которое Кант называет метафизическим фиглярством. Диалектику вообще Кант называет логикой видимости. В случае трансцендентальной диалектики лежит видимое противоречие трансцендентальных идей, которое раскрывается в четырех антиномиях (2 кн, 2 гл, 5 раздел)...
Паралоги́зм (др.-греч. παραλογισμός — ложное умозаключение) — случайная, неосознанная или непреднамеренная логическая ошибка в мышлении (в доказательстве, в споре, диалоге), возникающая при нарушении законов или правил логики и приводящая к ошибочному выводу (заключению).
Субъективизм — введённое Декартом понятие, означающее поворот к субъекту, то есть взгляд на сознание как на первично данное, в то время как всё другое является формой, содержанием или результатом творчества сознания.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Противоре́чие (контрадикторность) — отношение двух понятий и суждений, каждое из которых является отрицанием другого. В формальной логике противоречие считается недопустимым согласно закону противоречия. Однако, как показали Кант (антиномии) и Гегель, противоречие есть необходимый этап и результат всякого реального мышления — познания. Если у Канта, и в метафизике вообще, логическое противоречие трактуется как феномен, появляющийся в мышлении в силу его несовершенства или его неправомерного использования...
На эту страницу установлено перенаправление со страницы «A posteriori», см. также статью о музыкальном альбоме «A Posteriori».Апостерио́ри, а постерио́ри (лат. a posteriori букв. «из последующего») — знание, полученное из опыта. Противопоставляется априори — доопытному знанию. Значение термина исторически менялось: нынешнее значение установилось благодаря И. Канту и его работе "Критика чистого разума" (впервые опубликована в 1781 году, второе издание в 1787 г.) Однако, в латинской форме, выражения...
Подробнее: Апостериори
Иммане́нтность (лат. immanens, род.п. immanentis «пребывающий внутри») — философская категория, обозначающая неотъемлемость, внутреннюю связь в противоположность внешней.
Панлогизм (от греч. πᾶν — все и λόγος — мысль, слово, разум) — метафизическая теория, согласно которой всё существующее представляет собой воплощение разума или логоса.
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Дистинкция (от лат. distinctio «различение») — фигура речи (троп; стилистическая фигура протяжённости), через которую обозначается акт познания, отражающий объективное различие между реальными предметами и элементами сознания («У кого нет в жизни ничего милее жизни, тот не в силах вести достойный образ жизни»).
Объективный идеализм — совокупное определение философских школ, подразумевающих существование независящей от воли и разума субъекта реальности внематериальной модальности.
Кауза́льность (лат. causalis) — причинность; причинная взаимообусловленность событий во времени. Детерминация, при которой при воздействии одного объекта (причина) происходит соответствующее ожидаемое изменение другого объекта (следствие). Одна из форм отношения, характеризующаяся генетичностью, необходимостью. Каузальность выполняет важнейшую методологическую роль в научном и повседневно-бытовом познании. На основании её понятия строились механистическая картина мира, концепции детерминизма (Лаплас...
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Аналитика (др.-греч. άναλυτικά — буквально: «искусство анализа») — часть искусства рассуждения — логики, рассматривающая учение об анализе — операции мысленного или реального расчленения целого (вещи, свойства, процесса или отношения между предметами) на составные части, выполняемая в процессе познания или предметно-практической деятельности человека.
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Диалектическая логика — философский раздел марксизма, систематически развёрнутое изложение мышления («диалектики как логики»). Тем самым диалектическая логика является теорией познания. Также диалектическая логика понимается как логическая дисциплина о формах правильных рассуждений.
Плюрали́зм (от лат. pluralis — множественный) — философская позиция, согласно которой существует множество различных равноправных, независимых и несводимых друг к другу основ или форм бытия (онтологический плюрализм), а значит и форм знания и методологий познания (эпистемологический плюрализм). Плюрализм занимает оппонирующую позицию по отношению к монизму.
Гетероно́мная э́тика (от др.-греч. ἕτερος — другой и νόμος — закон и «этика») — система нормативной этики, основанная не на собственных нравственных принципах, а на началах, взятых из другой сферы общественной жизни.
Субъекти́вный идеали́зм — группа направлений в философии, представители которых отрицают существование независимой от воли и сознания субъекта реальности. Философы этих направлений либо считают, что мир, в котором живёт и действует субъект, — это совокупность ощущений, переживаний, настроений, действий этого субъекта, либо, как минимум, полагают, что эта совокупность является неотъемлемой частью мира. Радикальной формой субъективного идеализма является солипсизм, в котором реальным признается только...
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Крите́рий (др.-греч. κριτήριον — способность различения, средство суждения, мерило) — признак, основание, правило принятия решения по оценке чего-либо на соответствие предъявленным требованиям (мере). Особо выделяют критерии истинности знания. Различают логические (формальные) и эмпирические (экспериментальные) критерии истинности. Формальным критерием истины служат логические законы: истинно всё, что не заключает в себе противоречия, логически правильно. Эмпирическим критерием истинности служит...
Антино́мия (др.-греч. ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от др.-греч. ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов. Термин «антиномия» был предложен...
Интеллиги́бельность (от лат. intelligibilis — понятный, чёткий, постижимый умом) — философский термин, обозначающий познание, а более точно, постижение, доступное исключительно уму или интеллектуальной интуиции. Понятие интеллигибельность в некоторых системах идеалистической философии обозначает сверхприродные, сверхчувственные предметы, сущности.
Эмпири́зм, редко эмпирици́зм (от др.-греч. εμπειρία «опыт») — (убеждение, что все наше знание основывается на опыте) направление в теории познания, признающее чувственный опыт источником знания и предполагающее, что содержание знания может быть либо представлено как описание этого опыта, либо сведено к нему.
Антите́зис (др.-греч. ἀντίθεσις «анти́тесис» — противоположение; лат. antithesis «антите́зис») — суждение, противопоставляемое тезису.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Трансцендентальный идеализм (нем. transzendentale Idealism) — в учении И. Канта установка, отождествляющая и ограничивающая наблюдаемые вещи феноменами сознания. Основной предпосылкой этой установки является различие между явлениями как единицами опыта и вещами в себе. Кант в Критике чистого разума прямо отождествляет свою философию с трансцендентальным идеализмом. Противоположностью трансцендентального идеализма является трансцендентальный реализм.
Трансцендентальная иллюзия — термин, введённый философом Иммануилом Кантом, для обозначения системы философско-этических учений, постулатов и доказательств, пытающихся объяснить феномены запредельного по отношению к миру явлений и недоступного познанию (трансцендентного), на основании эмпирического опыта. В частности, к трансцендентальной иллюзии Кант относил систему доказательств бытия Бога, разработанную Св. Фомой Аквинским.
Рационали́зм (от лат. ratio — разум) — метод, согласно которому основой познания и действия людей является разум. Поскольку интеллектуальный критерий истины принимался многими мыслителями, рационализм не является характерной чертой какой-либо определенной философии; кроме того, имеются различия во взглядах на место разума в познании от умеренных, когда интеллект признают главным средством постижения истины наряду с другими, до радикальных, если разумность считается единственным существенным критерием...
Казуальность (от лат. casus — случай, случайность) — учение о случайности; теория о том, что в мире господствует случайность, не поддающаяся обобщению. Эта теория отстаивалась, в частности, древнегреческим философом Эпикуром и его последователем, римским поэтом и философом Лукрецием, а также другими философами.Казуальным называют нечто, вытекающее из или обусловленное особенностями данного случая.
Агностици́зм (от др.-греч. ἄγνωστος — непознаваемый, непознанный) — термин в философии, теории познания и теологии. Сторонники агностицизма считают принципиально невозможным познание объективной действительности через субъективный опыт и невозможным познание любых предельных и абсолютных основ реальности. Отрицается также возможность доказательства или опровержения идей и утверждений, основанных полностью на субъективных посылах. Иногда агностицизм определяется как философское учение, утверждающее...
Джастификационизм (от англ. justificationism - justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Психологи́зм — тенденция в философии и гуманитарном знании к объяснению духовных явлений и идеальных сущностей работой индивидуального или коллективного сознания. Наиболее известны психологистические системы в логике и математике.
Синтаксис (в логике) (логический синтаксис) — раздел формальной логики, изучающий правильность построения выражений, безотносительно к тому, есть ли у этих выражений логические значения и если есть, то какие именно.
Геавтономия ( от греч. ἑαυτόν «себя, самого, самому» и νόμος «закон») самозаконие. Малоупотребимый синоним «самоуправления» в политической литературе.